<?php
/**
 * Created by PhpStorm.
 * User: zhoper
 * Date: 2018/7/28
 * Time: 16:06
 */
echo $res;